Integrating Extensional and Intensional ILP Systems through Abduction
نویسندگان
چکیده
We present an hybrid extensional-intensional Inductive Logic Programming algorithm. We then show how this algorithm solves the problem of global inconsistency of intensional systems when learning multiple predicates, without incurring in the problems of incompleteness and inconsistency of extensional systems. The algorithm is obtained by modifying an intensional system 6] for learning abductive logic programs. Extensionality is thus obtained by exploiting abduction: the training set is considered as a set of abduced literals that is taken as input by the abductive proof procedure used for the coverage of examples.
منابع مشابه
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases
This chapter aims at demonstrating that inductive logic programming (ILP), a recently established subfield of machine learning that induces first-order clausal theories from examples, combines very well with the area of deductive databases. In the context of deductive databases, induction can be defined as inference of intensional knowledge from extensional knowledge. Classification-oriented IL...
متن کاملAn Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming
The integration of abduction and induction has lead to a variety of non-monotonic ILP systems. XHAIL is one of these systems, in which abduction is used to compute hypotheses that subsume Kernel Sets. On the other hand, Peircebayes is a recently proposed logic-based probabilistic programming approach that combines abduction with parameter learning to learn distributions of most likely explanati...
متن کاملExtensional Knowledge for Semantic Query Optimization in a Mediator Based System
Query processing in global information systems integrating multiple heterogeneous sources is a challenging issue in relation to the effective extraction of information available on-line. In this paper we propose intelligent, tool-supported techniques for querying global information systems integrating both structured and semistructured data sources. The techniques have been developed in the env...
متن کاملIntensional Question Answering Using ILP: What Does an Answer Mean?
We present an approach for computing intensional answers given a set of extensional answers returned as a result of a user query to an information system. Intensional answers are considered as descriptions of the actual answers in terms of properties they share and which can enhance a user’s understanding of the answer itself but also of the underlying knowledge base. In our approach, an intens...
متن کاملLearning with Abduction
We investigate how abduction and induction can be integrated into a common learning framework through the notion of Abductive Concept Learning (ACL). ACL is an extension of Inductive Logic Programming (ILP) to the case in which both the background and the target theory are abductive logic programs and where an abductive notion of entailment is used as the coverage relation. In this framework, i...
متن کامل